Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
91	Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-04-18 17:24:35 Mathematical logic Universal quantification Uniform space Linear temporal logic Μ operator Mathematics Function Topology
92	Linear Temporal Logic and Linear Dynamic Logic on Finite Traces Giuseppe De Giacomo Sapienza Universit`a di Roma Roma, Italy Add to Reading List Source URL: www.cs.rice.edu - Date: 2013-07-19 13:46:46
93	BRICS Basic Research in Computer Science BRICS RS-97-9 Henriksen & Thiagarajan: A Product Version of Dynamic Linear Time Temporal Logic A Product Version of Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 09:23:06
94	Specification-Guided Controller Synthesis for Linear ∗ Systems and Safe Linear-Time Temporal Logic Matthias Rungger Manuel Mazo Jr. Add to Reading List Source URL: www.mmazojr.net Language: English - Date: 2014-09-01 07:12:16
95	BRICS Basic Research in Computer Science BRICS RS-98-8 Thiagarajan & Henriksen: Distributed Versions of Linear Time Temporal Logic Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-04-05 10:42:03
96	Enhanced Vacuity Detection in Linear Temporal Logic Alon Flaisher Contents 1 Introduction Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-06-27 16:56:25
97	ABSTRACT Explicit or Symbolic Translation of Linear Temporal Logic to Automata by Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-04-29 00:19:05
98	Logic and Automata, Assignmentmarks) Construct B¨ uchi automata accepting ω-words satisfying the following LTL formulae: (a) G F X a Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-21 13:28:41 Theoretical computer science Tree automaton Computer science Automata theory Temporal logic Linear temporal logic
99	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science
100	Directed Explicit-State Model Checking - Dagstuhl, Nov. 9, 2001 Stefan Leue Albert-Ludwigs-Universität Freiburg Institut für Informatik tele Research Group for Computer Networks and Telematics Add to Reading List Source URL: tele.informatik.uni-freiburg.de Language: English - Date: 2001-11-09 18:19:08 T1 SPIN model checker Linear temporal logic Temporal logic Model checking

UPDATE